$\vdash$  ($\lambda$$m$,$n$,$z$. \{$m$..$n$$^{-}$\}) $\in$ $\mathbb{Z}\rightarrow\mathbb{Z}\rightarrow$($\downarrow$True)$\rightarrow$Type